Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
by International Conference on Formal Metho,Scott F. Smith,Carolyn L. Talcott
ISBN 13: 9780792379232
Format: Hardcover (432 pages) Publisher: Springer Published: 31 Aug 2000
Save for later